Merge pull request #1372 from antonio-nino-diaz-arm/an/arm-multi-console
authorDimitris Papastamos <[email protected]>
Fri, 11 May 2018 11:04:52 +0000 (12:04 +0100)
committerGitHub <[email protected]>
Fri, 11 May 2018 11:04:52 +0000 (12:04 +0100)
Arm platforms: Migrate to multi console driver


Trivial merge